cargo-crev will need to be updated too if this PR ends up getting accepted: https://github.com/crev-dev/cargo-crev/blob/5d9574d43634013ef73684f2af35f37db8ee8bfe/crev-lib/src/util/mod.rs#L118-L122

doc/src/overrides.md here should be updated too.

So at this point both @kinnison and I dislike hiding the file. I'm not sure we can provide a sensible rational that can be argued through though. For now, since this would potentially affect all users and would not be a reversible decision, I think we should not merge a patch adding it.

So at this point both @kinnison and I dislike hiding the file. I'm not sure we can provide a sensible rational that can be argued through though.

Well, we provided a rational argument in the original issue, so perhaps you can find something there in particular that you do not like? Otherwise, it is hard to reply.

For now, since this would potentially affect all users and would not be a reversible decision, I think we should not merge a patch adding it.

I agree a fair amount of people would probably start using it (which is one reason it would be nice to have! :), but it is backwards compatible, so I am not sure I understand how it would affect all users -- it should not affect any existing one, no?